Cụ thể tương đối Phạm_trù_cụ_thể

Trong lý thuyết topos, người ta thường thay thế phạm trù Set bằng một phạm trù X khác, thường được gọi là phạm trù cơ sở. Một cặp (C,U) trong đó C là một phạm trù và U là một hàm tử chung thủy C → X được gọi là một phạm trù cụ thể trên X.

Liên quan